Elimination of Conditions
نویسندگان
چکیده
منابع مشابه
Elimination of Conditions Universit a Degli Studi Di Pisa Dipartimento Di Informatica Elimination of Conditions Elimination of Conditions
We present a transformation from any conditional rewrite systems into non conditional ones and prove its correctness. The transformed systems are quite intuitive and well suited for parallel execution. We also show how termination and connuence of the original system are preserved in the transformed one. Abstract. We prove the correctness of a transformation from conditional rewrite systems (CT...
متن کاملComputationally Equivalent Elimination of Conditions
An automatic and easy to implement transformation of conditional term rewrite systems into computationally equivalent unconditional term rewrite systems is presented. No special support is needed from the underlying unconditional rewrite engine. Since unconditional rewriting is more amenable to parallelization, our transformation is expected to lead to efficient concurrent implementations of re...
متن کاملUniversit a Degli Studi Di Pisa Dipartimento Di Informatica Elimination of Conditions Elimination of Conditions
We prove the correctness of a transformation from conditional rewrite systems (CTRS) into non conditional ones. This particular transformation has the advantage of expliciting all the possible parallelism in the evaluation of conditions. The main result states that this transformation applies to any CTRS, and that derivations are preserved up to a mapping between terms. We also prove that termi...
متن کاملthe effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
Action Elimination and Stopping Conditions for Reinforcement Learning
We consider incorporating action elimination procedures in reinforcement learning algorithms. We suggest a framework that is based on learning an upper and a lower estimates of the value function or the Q-function and eliminating actions that are not optimal. We provide a model-based and a model-free variants of the elimination method. We further derive stopping conditions that guarantee that t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1999
ISSN: 0747-7171
DOI: 10.1006/jsco.1999.0288